Logic synthesis - PDFSEARCH.IO - Document Search Engine

Logic synthesis
Results: 291

#	Item
261	Final Report for NSF Grant MIP89-21842: Algebra for Digital Design Derivation 1 June 1990 – 30 November 1992 Steven D. Johnson, Principal Investigator ([removed]) Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:08:15 Digital electronics Field-programmable gate array Hardware description language Computer architecture CPU design Logic synthesis Ring Computer Electronic engineering Central processing unit Electronics
262	Digital Design Derivation 1. Introduction This research applies formal methods in logic, verification, and synthesis to digital design engineering. The work centers on the use of applicative notation for system descript Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 15:58:20 Logic in computer science Digital electronics Logic synthesis Logic simulation High-level synthesis Verilog Actor model Abstraction Programming language Electronic engineering Electronic design automation Electronic design
263	Expanded Final Report for NSF Grant MIP87[removed]Digital Design Derivation (November 30, 1990) Steven D. Johnson, P.I. Computer Science Department Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 15:58:32 Digital electronics Integrated circuits Logic design Electronic design Hardware description language Logic synthesis Actor model Logic simulation Application-specific integrated circuit Electronic engineering Electronics Electronic design automation
264	algebra for digital design derivation Research Prospectus Algebra for Digital Design Derivation August, 1989 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:08:06 Formal methods Digital electronics Logic synthesis Formal verification High-level synthesis Logic gate Standard cell Programming language Function model Electronic engineering Electronic design automation Electronic design
265	From Verification to Synthesis Moshe Y. Vardi Rice University Verification Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-06-14 03:05:34 Linear temporal logic Formal languages Amir Pnueli Model checking Well-formed formula Function Logic Mathematics Temporal logic
266	Press Release \| [removed]ACHRONIX AND MENTOR GRAPHICS PROVIDE STATE OF THE ART PHYSICAL SYNTHESIS SUPPORT FOR SPEEDSTER22I FPGAs – THE WORLD’S Add to Reading List Source URL: www.achronix.com Language: English - Date: 2012-04-10 14:22:21 Electronic design automation Mentor Graphics Fabless semiconductor companies Logic synthesis Altera Xilinx Electronic engineering Field-programmable gate array Electronic design
267	Employment Oriented Summer Course[removed]APEX Institute of Technology and Management Pahala, Bhubaneswar, Orissa. Ph: [removed], website: www.apexorissa.com SUMMER COURSE Add to Reading List Source URL: www.apexorissa.com Language: English - Date: 2012-06-15 22:35:44 Electronic design Digital electronics Integrated circuits Xilinx Verilog Field-programmable gate array Logic synthesis VHDL Application-specific integrated circuit Electronic engineering Electronics Hardware description languages
268	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
269	Print Zuken Datasheet Template Add to Reading List Source URL: www.quadrasol.co.uk Language: English - Date: 2011-05-12 04:19:55 Logic design Hardware description languages Field-programmable gate array CADSTAR Electronic design VHDL Place and route Verilog Logic synthesis Electronic engineering Digital electronics Electronic design automation
270	Applications of inductive definitions and choice principles to program synthesis Ulrich Berger and Monika Seisenberger {u.berger,csmona}@swansea.ac.uk University of Wales Swansea Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-27 17:59:13 Structural induction Mathematical proof Mathematical induction Well-quasi-ordering Axiom of choice Recursion Intuitionistic type theory Well-founded relation Bar induction Mathematics Mathematical logic Logic

UPDATE